Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
91	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Mathematics Formal methods Edsger W. Dijkstra Predicate transformer semantics Errors and residuals Function Science and technology
92	WP 1.0 WP Plug-in Manual Version 1.0 for Frama-C Aluminium Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2016-06-01 04:33:34 Software Frama-C Formal methods Predicate transformer semantics Alt-Ergo Linux kernel
93	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:53:10 Automated theorem proving Theoretical computer science Logic Mathematics Mathematical proofs Proof assistants Formal methods Formal verification KeY Isabelle Rippling Automated reasoning
94	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:19 Theoretical computer science Mathematical logic Mathematics Logic in computer science Boolean algebra Logic programming Automated planning and scheduling Formal methods Situation calculus Planning Domain Definition Language Boolean satisfiability problem Conjunctive normal form
95	Jeremy Avigad PERSONAL DATA Born January 9, 1968, New York, N.Y. Citizenship: USA. ADDRESS Department of Philosophy Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-08-20 23:21:44 Logic Mathematics Philosophy Logic in computer science Automated theorem proving Formal sciences Formal methods Mathematical logic Proof theory Automated reasoning Formal epistemology Foundations of mathematics
96	The rise of automatic feature-generation techniques, including deep learning, has the potential to greatly enlarge the pool of machinelearning users. Such methods require large labeled training sets to obtain high-qualit Add to Reading List Source URL: mmds-data.org Language: English - Date: 2016-06-23 15:50:48 Education Educational psychology Technology Computational neuroscience Formal sciences Science and technology Distance education Educational technology Information technology Deep learning Artificial intelligence
97	Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert Constable Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-26 22:21:47 Software engineering Programming language theory Declarative programming Automated theorem proving Logic programming Type theory Lambda calculus Formal methods Higher-order abstract syntax Nuprl Lisp Substitution
98	Unleashing Mayhem on Binary Code Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Theoretical computer science Computing Software engineering Automated theorem proving Concolic testing Formal methods Symbolic execution Parallel computing Satisfiability modulo theories KeY Symbolic X86
99	Paper presented at the Population Association of America 2011 Annual Meeting - Washington, DC. Session 125: Formal Demography I: Mathematical Models and Methods (Friday 1 April 2011, 12:30 PM - 2:20 PM) Latest revision 6 Add to Reading List Source URL: esa.un.org Language: English - Date: 2015-08-07 16:23:12 Human geography Demography Actuarial science Population LeeCarter model Life table Life expectancy
100	process calculi “process calculus” means two things: Process Calculi for web services Add to Reading List Source URL: www.wischik.com Language: English - Date: 2003-03-13 09:50:06 Process calculi Theoretical computer science Computing Software Formal methods Process calculus -calculus Bisimulation Join-calculus Reconfigurability Microsoft BizTalk Server Tea

UPDATE